3

Tautologies over implication with negative literals

Year:
2010
Language:
english
File:
PDF, 127 KB
english, 2010
4

Fitting a Step Function to a Point Set

Year:
2011
Language:
english
File:
PDF, 545 KB
english, 2011
14

A degree bound on decomposable trees

Year:
2006
Language:
english
File:
PDF, 213 KB
english, 2006
15

On the shape of decomposable trees

Year:
2009
Language:
english
File:
PDF, 632 KB
english, 2009
17

Universal relations and #P-completeness

Year:
2008
Language:
english
File:
PDF, 939 KB
english, 2008
19

Sparse NP-complete problems over the reals with addition

Year:
2001
Language:
english
File:
PDF, 78 KB
english, 2001
20

Quantifier rank for parity of embedded finite models

Year:
2003
Language:
english
File:
PDF, 198 KB
english, 2003
22

A Tight Lower Bound for Computing the Diameter of a 3D Convex Polytope

Year:
2007
Language:
english
File:
PDF, 428 KB
english, 2007
23

Lower Bounds for Comparison Based Evolution Strategies Using VC-dimension and Sign Patterns

Year:
2011
Language:
english
File:
PDF, 629 KB
english, 2011
43

Role of dendritic cells in the generation of regulatory T cells

Year:
2004
Language:
english
File:
PDF, 98 KB
english, 2004